Software language

Results: 21611



#Item
151Software engineering / Computing / Software architecture / Information technology management / Architecture description language / Systems architecture / Unified Modeling Language / Scientific modeling / EAST-ADL / Modeling and Analysis of Real Time and Embedded systems / Modeling language / AUTOSAR

Advancing Traffic Efficiency and Safety through Software Technology, Phase 2 (ATESST2) Foreword

Add to Reading List

Source URL: www.atesst.org

Language: English - Date: 2010-06-23 04:09:33
152Software engineering / Computer programming / Programming language theory / Application programming interface / Technical communication / Python

detecting the future ALBULA ware ft

Add to Reading List

Source URL: www.dectris.com

Language: English - Date: 2016-04-27 04:53:16
153Software engineering / Programming paradigms / Computing / Theoretical computer science / Evaluation strategy / Incremental computing / Partial evaluation / Logic programming / Functional programming / Algorithm / Programming language / Evaluation

A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
154Computing / Software engineering / Software / Concurrent programming languages / Visual programming languages / Cross-platform software / Computer programming / AgentSheets / Artificial intelligence / Programmer / Debugging / Programming language

Conversational Programming in Action Alexander Repenning AgentSheets Inc. Boulder 80301, Colorado, USA Abstract – Accelerated by the Do-It-Yourself mindset of the

Add to Reading List

Source URL: www.cs.colorado.edu

Language: English - Date: 2011-07-24 21:52:56
155Software engineering / Software / Programming language theory / Type theory / Proof assistants / Functional languages / Agda / Univalent foundations / Mathematical logic / Coq / Type system

The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations

Add to Reading List

Source URL: math.andrej.com

Language: English - Date: 2016-07-28 09:19:23
156Computing / Computer architecture / Software engineering / X86 architecture / Computer memory / Low-level programming language / Spinlock / X86 / Assembly language / Memory barrier / Memory ordering / Exit

The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2012-09-10 07:41:01
157Engineering / Computing / Software engineering / Computer engineering / Computer science / Electrical engineering / Electronic engineering / Programming language / Theoretical computer science / Programming paradigm / Computer / Modular programming

A High-School Program in Computer Science Judith Gal-Ezer∗ Catriel Beeri† Amiram Yehudai§

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2004-09-27 01:19:29
158Software / Data management / Computing / SQL / Relational database management systems / IBM RPG / Data definition language / Insert / Sybase / PL/SQL

Why You Should Move to CA 2E SQL Now! Jason Olson About Your Presenter – Jason Olson • IBM i Professional for 15 Years.

Add to Reading List

Source URL: plex2e.com

Language: English - Date: 2015-06-16 18:02:52
159Project management / Software engineering / Computing / Engineering / Software development process / Systems engineering / Software design / Collaboratory / Deliverable / Modeling language / Artifact / Software development

Project No : FP7Project Acronym: ENVISAGE Project Title:

Add to Reading List

Source URL: envisage-project.eu

Language: English - Date: 2015-10-17 08:36:25
160Software / Digital typography / Digital media / Computing / Dzongkha language / Web design / Blog software / WordPress / Dzongkha / Tibetan alphabet / Web typography / Embedded OpenType

Instructions for creating Wordpress website in Dzongkha Dzongkha Development Commission WordPress WordPress is a free and open source blogging tool and a content management system (CMS) based on PHP and MySQL.Features in

Add to Reading List

Source URL: www.dzongkha.gov.bt

Language: English - Date: 2016-07-31 23:58:20
UPDATE